It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...) function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of (...) his theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

I discuss problems with Martin-Löf's distinction between analytic and synthetic judgments in constructive type theory and propose a revision of his views. I maintain that a judgment is analytic when its correctness follows exclusively from the evaluation of the expressions occurring in it. I argue that Martin-Löf's claim that all judgments of the forms a : A and a = b : A are analytic is unfounded. As I shall show, when A evaluates to a dependent function type (...) (x : B) → C, all judgments of these forms fail to be analytic and therefore end up as synthetic. Going beyond the scope of Martin-Löf's original distinction, I also argue that all hypothetical judgments are synthetic and show how the analytic-synthetic distinction reworked here is capable of accommodating judgments of the forms A type and A = B type as well. Finally, I consider and reject an alternative account of analyticity as decidability and assess Martin-Löf's position on the analytic grounding of synthetic judgments. (shrink)

This article explores aspects of Rosenzweig’s Star of Redemption from the perspective of systems theory. Mosès, Pollock, and others have noted the systematic character of the Star. While “systematic” does not mean “systems theoretic,” the philosophical theology of the Star encompasses ideas that are salient in systems theory. The Magen David star to which the title refers, and which deeply structures Rosenzweig’s thought, fits the classic definition of “system” – a set of elements (God, World, Human) and relations between the (...) elements (Creation, Revelation, Redemption). The Yes and No of the elements and their reversals illustrate the bridging of element and relation with the third category of “attribute,” a notion also central to the definition of “system.” In the diachronics of “the All,” the relations actualize what is only potential in the elements in their primordial state and thus remedy the incompleteness of these elements, fusing them into an integrated whole. Incompleteness is a major theme of systems theory, which also explicitly examines the relations between wholes and parts and offers a formal framework for expressing such fusions. In this article, the systems character of Parts I & II of the Star is explored through extensive use of diagrams; a systems exploration of Part III is left for future work. Remarkably, given its highly architectonic character, diagrams are absent in Rosenzweig’s book, except for the triangle of elements, the triangle of relations, and the hexadic star, which are presented on the opening page of each part of the book. While structures can be explicated entirely in words, diagrams are a visual medium of communication that supplements words and supports a nonverbal understanding that structures both thought and experience. (shrink)

RESUMO A inseminação artificial em tempo fixo (IATF) é uma das biotecnologias de reprodução mais estudadas dos últimos anos, e a busca pelo equilíbrio entre a fisiologia animal e o controle hormonal fomenta uma série de estudos. Sendo assim, o objetivo com este trabalho foi avaliar a eficiência da aplicação do hormônio liberador de gonadotrofinas (GnRH) no dia zero (D0) do protocolo de IATF, a base de estrógeno e progesterona sobre a taxa de penhez por IATF. O experimento foi desenvolvido (...) na Universidade Federal de Uberlândia (UFU), na Fazenda Experimental do Glória, localizada no município de Uberlândia, no estado de Minas Gerais. Foram avaliadas 69 inseminações de vacas leiteiras mestiças, divididas em dois grupos com diferentes protocolos; Controle: sem aplicação de GnRH e Tratamento: aplicação de GnRH no dia zero do protocolo. Todos os animais foram inseminados com sêmen previamente analisado. O diagnóstico de gestação foi realizado 32 dias após a inseminação, com aparelho de ultrassonografia equipado com probe linear transretal de 7,5 MHz. Os dados foram analisados por análise descritiva, sendo avaliado o efeito da relação protocolo e presença de corpo lúteo no início do protocolo e efeito da relação protocolo e ordem de IA Pós-Parto sobre a taxa de concepção. A taxa de concepção após a realização do Protocolo Tratamento foi de 53% (17/32) e do Protocolo Controle foi de 43% (16/37). Portanto, conclui-se que o protocolo de sincronização de vacas leiteiras mestiças com a aplicação de GnRH no dia zero do protocolo resultou em um aumento no número da taxa de concepção de vacas leiteiras mestiças. Palavras-chave: biotecnologia; bovinocultura; hormônio; ovulação; reprodução. ABSTRACT The artificial insemination at fixed time (AIFT) is one of the most studied reproduction biotechnologies in recent years, and the search for a balance between animal physiology and hormonal control fosters a series of studies. Therefore, the objective of this work was to to evaluate the efficiency of gonadotrofine hormone inducer (GnRH) on day zero (D0) of the AIFT protocol, an estrogen and progesterone base on an AIFT rate. The experiment was developed at the Federal University of Uberlândia (UFU), at the Experimental Farm of Glória, located in the municipality of Uberlândia, in the state of Minas Gerais. Were evaluated 69 inseminations of crossbred dairy cows divided into two groups with different protocols; Control: without application of GnRH and Treatment: application of GnRH on day zero of the protocol. All animals were inseminated with previously analyzed semen. The diagnosis of pregnancy was performed 32 days after insemination, with an ultrasound device equipped with a 7.5 MHz transrectal linear probe. The data were analyzed by descriptive analysis, evaluating the effect of the protocol relationship and the presence of corpus luteum at the beginning of the protocol and the effect of the protocol relationship and postpartum AI order on the conception rate. The conception rate after performing of the Treatment Protocol was 53% (17/32) and the Control Protocol was 43% (16/37). Therefore, it is concluded that the synchronization protocol of crossbred dairy cows with the application of GnRH on day zero of the protocol resulted in an increase in the number of conception rates of crossbred dairy cows. Keywords: biotechnology; cattle breeding; hormone; ovulation; reproduction. -/- REFERÊNCIAS BIBLIOGRÁFICAS ATANASOV, A. S.; DINEVA, J. D.; YOTOV, S. A. Ultrasonic evaluation of uterine involution in Bulgarian Murrah buffalo after administration of oxytocin. Animal Reproduction Science, v.133, p.71-76, 2012. BALL, P. J. H.; PETERS, A. R. Reprodução em bovinos. São Paulo – SP. BARBOSA, C. F. et al. Inseminação artificial em tempo fixo e diagnóstico precoce de gestação em vacas leiteiras mestiças. Revista Brasileira de Zootecnia, v. 40, p. 79-84, 2011. BARBOSA, C. F. et al. Inseminação artificial em tempo fixo e diagnóstico precoce de gestação em vacas leiteiras mestiças. Revista Brasileira de Zootecnia, Viçosa, MG, v. 40, n. 1, pág. 79-84, 2011. BARROS, C. M.; FIGUEIREDO, R. A.; PINHEIRO, O. L. Estro, ovulação e dinâmica folicular em zebuínos. Revista Brasileira de Reprodução Animal, Belo Horizonte, v.19, p. 9-22, 1995. BARUSELLI, P. S. Controle farmacológico do ciclo estral em ruminantes. Faculdade de Medicina Veterinária e Zootecnia. Departamento de reprodução animal, Universidade de São Paulo, 2000. BARUSELLI, P. S. et al. Review: Using artificial insemination v. natural service in beef herds. Animal, London, v. 12, p. 45-52, 2018. BEG, M. A.; GINTHER, O. J. Follicle selection in cattle and horses: role of intrafollicular factors. Reproduction, v. 132, pag. 365-377, 2006. BERTAN, C. M.; BINELLI, M.; MADUREIRA, E. H. Caracterização do estro de novilhas cruzadas (Bos taurus indicus x Bos taurus taurus) por radiotelemetria. Brazilian Journal of Veterinary Research and Animal Science, São Paulo, v. 43, n. 6, p. 816-823, 2006. BÓ, G. A.; BARUSELLI, P. S.; MARTINEZ, M. F. Pattern and manipulation of follicular development in Bos indicus cattle. Animal Reproduction Science, v.78, p.307-326, 2003. BÓ, G.; CUTAIA, P. S; BARUSELLI. Programas de inseminación artificial y transferencia de embriones a tiempo fijo. In: SIMPÓSIO INTERNACIONAL DE REPRODUÇÃO APLICADA, 1., 2004, Londrina [Trabalhos apresentados] Cornélio Procópio: Geraembryo, 2004. p. 56-81. Disponível em:. Acesso em: 12 nov. 2022. BORGES, A. M. et al. Dinâmica folicular e momento da ovulação em vacas não lactantes das raças Gir e Nelore durante duas estações do ano. Arquivo Brasileiro de Medicina Veterinária e Zootecnia. Belo Horizonte, v.56, n.3, p.346-354, 2004. BORGES, A. M. Dinâmica folicular e superovulação em novilhas mestiças tratadas com somatotropina bovina (rBST) e efeito da temperatura na qualidade dos embriões. 1999. Tese de Doutorado. UFV. BURATINI, J. J. Controle endócrino e local da foliculogênese em bovinos. Revista Brasileira de Reprodução Animal. Belo Horizonte, v.31, n.2, p.190-196, 2007. CALLEJAS, S. S.; FISIOLOGÍA, D. E. L.; CICLO ESTRAL BOVINO. In: Palma GA. Biotecnología de la reproducción. Mar del Plata: Reprobiotec, 2001. p.37-49. CAMPOS, C. C.; SANTOS, R. M. Taxa de concepção e detecção do estro de retorno após a IATF em vacas Holandesas. Semina: Ciências Agrárias, v. 36, n. 3, suplemento 1, p. 1945- 1954, 2015. Disponível em:. Acesso em: 08 fev. 2022 CARVALHO, B. C. Parâmetros reprodutivos, metabólitos e produção de leite de vacas mestiças Holandês x Zebu submetidas a dois manejos pré-parto. Tese (Doutorado em Medicina Veterinária) - Escola de Veterinária, Universidade Federal de Minas Gerais, Belo Horizonte, 2009. CASTILHO, E. F. IATF como ferramenta no melhoramento genético de bovinos de leite. In: CASTILHO, E. F. (org.). Inseminação artificial em tempo fixo (IATF) em bovinos leiteiros. 1. ed. Maringá: IEPEC, 2015. p. 148-191. CHEBEL, R. C. et al. Factors affecting conception rate after artificial insemination and pregnancy loss in lactating dairy cows. Animal Reproduction Science, v.84, p.239-255, 2004. CLIMATE DATA ORG. Clima Uberlândia. Disponível em:. Acesso em: 08 fev. de 2022. Curso de Transferência de Embriões, Uberlândia: ASBIA, 2021. Disponível em:. Acesso em: 08 fev. 2022. DA SILVA, Emanuel Isaque Cordeiro. Endocrinologia da Reprodução Animal. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução de Bovinos Leiteiros: Aspectos Básicos e Clínicos. Emanuel Isaque Cordeiro da Silva, 2022. DA SILVA, Emanuel Isaque Cordeiro; DA SILVA, Emanuel Isaque. Hormônios e Sistema Endócrino na Reprodução Animal. 2020. D’AVILA, C. A. et al. Hormônio utilizados na indução da ovulação em bovinos. Revista Brasileira de Reprodução Animal. Belo Horizonte, v. 43, n. 4, p. 797-802, out./dez.2019. Disponível em:. Acesso em: 25 de jan. 2022. DEMÉTRIO, D.G.B. et al. Factors affecting conception rates following artificial insemination or embryo transfer in lactating Holstein cows. Journal of Dairy Science, v.90, p.5073-5082, 2007. DUARTE JUNIOR, M. F. et al. Aspectos relacionados a fisiologia do anestro pós parto em bovinos. Colloquium Agrariae, Cuiabá, v.9, p.43-71, 2013. DUKES, H. H.; SWENSON, M. J.; REECE, W. Dukes fisiologia dos animais domésticos. 12. ed. Rio de Janeiro: Guanabara Koogan, 2006. FERREIRA, A. M. Reprodução da fêmea bovina: fisiologia aplicada e problemas mais comuns (causas e tratamentos). Juiz de Fora: Edição do Autor, 2010. FINK, G. Gonadotropin secretion and its control. In: KNOBIL, E.; NEILL, J. (ed.), The physiology of reproduction. New York: Raven Press, 1988. p. 1349-1377. FOLMAN, Y. et al. Comparison of methods for the synchronization of estrous cycles in dairy cows. 2. Effects of progesterone and parity on conception. Journal of Dairy Science, v.73, p.2817-2825, 1990. FONSECA, F. A. et al. Reproductive traits of Holsteins and Jerseys. Effects of age, milk yield, and clinical abnormalities on involution of cervix and uterus, ovulation, estrous cycles, detection of estrus, conception rate, and days open. Journal of Dairy Science, v.66, p.1128- 1147, 1983. FORTUNE, J. E.; RIVERA, G. M.; YANG, M. Y. Follicular development: the role of the follicular microenvironment in selectionof the dominant follicle. Animal Reproduction Science, v.82-83, p.109-126, 2004. FURTADO, D. A. et al. Inseminação Artificial em Tempo Fixo em Bovinos de Corte. Revista Científica Eletrônica de Medicina Veterinária, n. 16, pag. 25, 2011. GINTHER O. J. et al. Selection of the dominant follicle in cattle. Biology of Reproduction, v.55, p.1187-1194, 1996. GONZÁLEZ, F. H. D. Introdução à endocrinologia reprodutiva veterinária. Porto Alegre: UFRGS, 2002. 87p. Disponível em:. Acesso em: 12 dez. 2022. HAFEZ, E. S. E.; HAFEZ, B. Ciclos Reprodutivos. In: HAFEZ, E. S. E.; HAFEZ, B. Reprodução Animal, 7. ed. Barueri, SP: Ed. Manole, 2004. cap. 4, p. 55-67. IBGE – INSTITUTO BRASILEIRO DE GEOGRAFIA E ESTATÍSTICA. Produção de Leite. IBGE, 2021. LOPES, P. F. R.; RICARDO, P. Y.; LUIZ, C. T. Custos e escala de produção na pecuária leiteira: estudo nos principais estados produtores do Brasil. Revista de Economia e Sociologia Rural, 2007. v. 45, n. 3. Disponível em:. Acesso em: 08 fev. 2022. MADUREIRA, E. H. et al. Sincronização com prostágenos. In: I Simpósio Internacional de Reprodução Animal Aplicada. Londrina, Faculdade de Medicina Veterinária e Zootecnia. Universidade de São Paulo, p. 117-128, 2004. MARTEL, C. A. Fertility after timed AI insemination in response to a controlled internal drug release (CIDR) insert in lactating dairy cows. 2008. 48f. Thesis (MS Science) Kansas State University, Manhattan, Kansas, USA. MARTIN, I. et al. Características ultrassonográficas do útero de vacas Nelore (Bos taurus indicus) ao longo do ciclo estral. Veterinária e Zootecnia, Botucatu, v.15, n.2, ago., p. 349- 359, 2008. MIRANDA, J. E.C.; FREITAS, A. F. Raças e tipos de cruzamentos para produção de leite. Juíz de Fora: Embrapa Gado de Leite, 2009. Circular Técnica, 98. 12p. MOREIRA, R. J. C., Uso do protocolo Crestar® em tratamentos utilizando benzoato de estradiol, PGF2α, PMSG e GnRH para controle do ciclo estral e ovulação em vacas de corte. 2002, 62f. Dissertação de Mestrado, Piracicaba, 2003. MOSES, V. S.; BERTONE, A. L. Nonsteroidal anti-inflammatory drugs. Veterinary Clinics of North America, v.18, p.21-37, 2002. NAKAMURA, T.; SAKAMOTO, K. Reactive oxygen species up-regulates cyclooxygenase2, p53, and Bax mRNA expression in bovine luteal cells. Biochemical and Biophysical Research Communications. v.284 p.203-210. 2001. NASSER, L. F. T. Resposta superovulatória na primeira onda de crescimento folicular em doadoras Nelore (Bos taurus indicus). 2006, 80f. Tese (Doutorado) - USP. FMVZ. Departamento de reprodução animal, São Paulo. OLIVEIRA, M. Fisiologia da reprodução bovina e métodos de controle do ciclo estral. 2006. 28 f. Tese (Especialização em Reprodução e Produção de Bovinos) -UNIVERSIDADE CASTELO BRANCO, Rio de Janeiro, 2006. PALHANO, H. B. Reprodução em Bovinos, LF livros de veterinária, 2 edição, 2008, 249p. PONCIO, V. A. P. EFICIÊNCIA DE DOIS PROTOCOLOS DE IATF UTILIZANDO BENZOATO DE ESTRADIOL OU GnRH. Nova Odessa. 2021. Disponível em:. Acesso em: 25 de jan. 2022. PURSLEY, J. R.; MEE, M. O.; WILTBANK, M. C. Synchronization of ovulation in dairy cows using PGF2α and GnRH. Theriogenology, v.44, p.915-923, 1995. REICHENBACH, H. D.; MORAES, J. C. F.; NEVES, J. P. 2008. Tecnologia do sêmen e inseminação artificial em bovinos. In: Gonçalves P. B. D.; Figueiredo J. R. e Freitas V. J. F. Biotécnicas aplicadas à reprodução animal. 2ª ed. São Paulo: Ed. Roca. 395 p. ROBINSON, R. S. et al. Corpus luteum-endometriumembryo interactions in the dairy cow: underlying mechanisms and clinical relevance. Reproduction in Domestic Animals, v.43, p.104-12, 2008. Roca, 3ª Edição, 232 p., 2006. RUAS, J. R. M. et al. Vacas F1 Holandês x Zebu: uma opção para sistema de produção de leite em condições tropicais. Inf. Agropec., v.35, p.113-120, 2014. SARTORI, R. Manejo reprodutivo da fêmea leiteira. Reprodução Animal, Belo Horizonte, v.31, n.2, p.153-159, abr./jun. 2007. Disponível em:. Acesso em: 08 fev. 2022. SILVA, A. T. N. et al. Efeito de diferentes estratégias de manejo na distribuição da prenhez em vacas de corte mestiças paridas. In: XVI Congresso Brasileiro de Reprodução Animal. (Goiânia, Brasil). Resumo 158, 2007. SILVA, A.S. et al. Avaliação do custo benefício da inseminação artificial convencional e em tempo fixo de fêmeas bovinas pluríparas de corte. Revista Brasileira de Reprodução Animal, v.31, n.4, p.443-445, 2007. SOUZA, A. H. et al. Efeitos da gonadotrofina coriônica equina e do tipo de estímulo ovulatório em um protocolo de IA cronometrada sobre as respostas reprodutivas em vacas leiteiras. Teriogenologia, Stoneham, v. 72, n. 1, pág. 10-21, 2009. STABENFELDT, G. H.; EDQVIST, L. E. Processos Reprodutivos da Fêmea. In: SWENSON, M. J.; REECE, W., Dukes Fisiologia dos Animais Domésticos, Rio de Janeiro: Guanabara Koogan, 1996. cap. 36, p. 615-644. VALLE, E. R. O ciclo estral de bovinos e métodos de controle. Campo Grande: EMBRAPA – CNPGC, 1991. 24p. (EMBRAPA-CNPGC. Documentos, 48). VISHWANATH, R. Artificial insemination: the state of the art. Theriogenology, v.59, p.571- 584, 2003. WOLFENSON, D. et al. The effect of a GnRH analogue on the dynamics of follicular development and synchronization of estrus in lactating cyclic dairy cows. Theriogenology, v.42, p.633- 644, 1994. YAMADA, K. Desenvolvimento da sincronização da ovulação e inseminação artificial em tempo fixo em vacas leiteiras. Jornal de Reprodução e Desenvolvimento, Nagoya, v. 51, n. 2, pág. 177-186, 2005. (shrink)

Filosofía Judía, una noción, problemática, incluso ambigua para muchos, catalogada como incierta, dado su ligamen con una comprensión de filosofía regionalizada, e incluso como una filosofía de una nación. Sin embargo, tales barullos encuentran una contraposición, desde un área académica que apunta al esclarecimiento de la noción. Uno de los trabajos que retoman esta labor de elucidación se desprende del texto intitulado “History of Jewish Philosophy” editado por Daniel H. Frank y Olivier Leaman (1997), en dicho trabajo se realiza una (...) mención de principios y fundamentos, así como una descripción de diferentes momentos del pensamiento desde la época medieval hasta nuestros días. En el escrutinio de las fuentes de reflexión de la designada Filosofía Judía, ahí se reconocer como elementos de inspiración el Tanaj, el Talmud y la interacción con las escuelas griegas de pensamiento; además, en lo que respecta al itinerario investigativo, los autores exponen una serie de propuestas, de múltiples autores ligados a este tendencia, entre los que se pueden citar Moses Maimonides, Hermann Cohen, Franz Rosenzweig, Martin Buber y Emmanuel Levinas. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...) is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...) these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

This paper will delve into the problem of Good Governance in the light of Kong Zi. What makes up a Just State? What are the elements that constitute a prosperous Kingdom? What principles of Confucianism can we employ to achieve a just and humane society? These are the primary questions that we will try to investigate as we go along. The paper will be thus divided into three essential parts: The Notion of Li and the Sovereign, The ConfucianMoral Ideal, and (...) lastly, The Great Commonwealth. (shrink)

Consciousness is the major, perhaps the only, issue that makes the perennial mind-body problem unsolvable. To solve the problem, it is necessary to identify what produces consciousness. Every attempt to explain what produces consciousness has failed, and this failure is venom in discoursing the mind-body problem. Without consciousness in the real sense: the materialists within their framework would have succeeded in explaining how the body responds to impulses from the brain, now, their explanation is redundant; the immaterialists would have had (...) nothing to say, but now, their explanations on the nature of mind, and its relationship with the body, is confusing. This paper critically evaluates the concept, of consciousness, it observes that materialism and immaterialism have created more problems than what they set out to solve. Their mutually exclusive positions on the source of humans' consciousness and explanations of the relationship between the mind and body have closed the door to removing the venom in the mind-body problem. Also, that has hampered human yarning to know the true nature of reality. Based on the foregoing, this paper argues that consciousness is the product of both the body and mind. The mind is seen as a quasi-material – an extension of the main-brain. The source is likened to the signal received by the digital television set. The decoder receives information from the satellite dish and presents it to human beings in understandable ways. Without the satellite dish, there would be no such information, and without the television set, such information would be meaningless. Keywords: Consciousness; Main-brain; Materialism and Immaterialism; Mind-body; Neurons. (shrink)

There is something puzzling about statistical evidence. One place this manifests is in the law, where courts are reluctant to base affirmative verdicts on evidence that is purely statistical, in spite of the fact that it is perfectly capable of meeting the standards of proof enshrined in legal doctrine. After surveying some proposed explanations for this, I shall outline a new approach – one that makes use of a notion of normalcy that is distinct from the idea of statistical frequency. (...) The puzzle is not, however, merely a legal one. Our unwillingness to base beliefs on statistical evidence is by no means limited to the courtroom, and is at odds with almost every general principle that epistemologists have proposed as to how we ought to manage our beliefs. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...) of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

According to a captivating picture, epistemic justification is essentially a matter of epistemic or evidential likelihood. While certain problems for this view are well known, it is motivated by a very natural thought—if justification can fall short of epistemic certainty, then what else could it possibly be? In this paper I shall develop an alternative way of thinking about epistemic justification. On this conception, the difference between justification and likelihood turns out to be akin to the more widely recognised difference (...) between ceteris paribus laws and brute statistical generalisations. I go on to discuss, in light of this suggestion, issues such as classical and lottery-driven scepticism as well as the lottery and preface paradoxes. (shrink)

Metaphysical rationalism, the doctrine which affirms the Principle of Sufficient Reason (the PSR), is out of favor today. The best argument against it is that it appears to lead to necessitarianism, the claim that all truths are necessarily true. Whatever the intuitive appeal of the PSR, the intuitive appeal of the claim that things could have been otherwise is greater. This problem did not go unnoticed by the great metaphysical rationalists Spinoza and Leibniz. Spinoza’s response was to embrace necessitarianism. Leibniz’s (...) response was to argue that, despite appearances, rationalism does not lead to necessitarianism. This paper examines the debate between these two rationalists and concludes that Leibniz has persuasive grounds for his opinion. This has significant implications both for the plausibility of the PSR and for our understanding of modality. (shrink)

In the years after 1919, Heidegger began to call for a “deconstruction” (Abbau) or “destruction” (Destruktion) of Western intellectual traditions in an attempt to “save culture.” He proposed that the “deconstruction” and “destruction” of intellectual traditions should proceed from a re-examination of the original Greek interpretation of Being, which had been misunderstood completely and utterly trivialized. From hereon, he began to articulate Being within the sphere of the world; Being as unveiled and revealed in Dasein. But the investigation of Being (...) did not stop in Being and Time. The meaning of Being lies in occurrence, that is, that the gods are not extant characters, but rather figures of remembrance and expectation. Only in dasein’s moment of existential longing can god be really empty of any claim and intention. This opens us to the “Last God” of the Contributions. (shrink)

In 1990 Edward Craig published a book called Knowledge and the State of Nature in which he introduced and defended a genealogical approach to epistemology. In recent years Craig’s book has attracted a lot of attention, and his distinctive approach has been put to a wide range of uses including anti-realist metaepistemology, contextualism, relativism, anti-luck virtue epistemology, epistemic injustice, value of knowledge, pragmatism and virtue epistemology. While the number of objections to Craig’s approach has accumulated, there has been no sustained (...) attempt to develop answers to these objections. In this paper we provide answers to seven important objections in the literature. (shrink)

The purpose of this article is to show that animal rights are not necessarily at odds with the use of animals for research. If animals hold basic moral rights similar to those of humans, then we should consequently extend the ethical requirements guiding research with humans to research with animals. The article spells out how this can be done in practice by applying the seven requirements for ethical research with humans proposed by Ezekiel Emanuel, David Wendler and Christine Grady to (...) animal research. These requirements are i) social value, ii) scientific validity, iii) independent review, iv) fair subject selection, v) favorable risk-benefit ratio, vi) informed consent, and vii) respect for research subjects. In practice, this means that we must reform the practice of animal research to make it more similar to research with humans, rather than completely abolish the former. Indeed, if we banned animal research altogether, then we would also deprive animals of its potential benefits – which would be ethically problematic. (shrink)

There is a type of metaphysical picture that surfaces in a range of philosophical discussions, is of intrinsic interest, and yet remains ill-understood. According to this picture, the world contains a range of standpoints relative to which different facts obtain. Any true representation of the world cannot but adopt a particular standpoint. The aim of this paper is to propose a regimentation of a metaphysics that underwrites this picture. Key components are a factive notion of metaphysical relativity, a deflationary notion (...) of adopting standpoints, and two kinds of valid inference, one that allows one to abandon standpoints and one that does not. To better understand how theories formulated in terms of this framework are situated in dialectical space, I sketch a theory in the philosophy of time that admits both temporal and atemporal standpoints. (shrink)

A de minimis risk is defined as a risk that is so small that it may be legitimately ignored when making a decision. While ignoring small risks is common in our day-to-day decision making, attempts to introduce the notion of a de minimis risk into the framework of decision theory have run up against a series of well-known difficulties. In this paper, I will develop an enriched decision theoretic framework that is capable of overcoming two major obstacles to the modelling (...) of de minimis risk. The key move is to introduce, into decision theory, a non-probabilistic conception of risk known as normic risk. (shrink)

In this paper, I identify a theoretical and political role for ‘white ignorance’, present three alternative accounts of white ignorance, and assess how well each fulfils this role. On the Willful Ignorance View, white ignorance refers to white individuals’ willful ignorance about racial injustice. On the Cognitivist View, white ignorance refers to ignorance resulting from social practices that distribute faulty cognitive resources. On the Structuralist View, white ignorance refers to ignorance that (1) results as part of a social process that (...) systematically gives rise to racial injustice, and (2) is an active player in the process. I argue that, because of its greater power and flexibility, the Structuralist View better explains the patterns of ignorance that we observe, better illuminates the connection to white racial domination, and is overall better suited to the project of ameliorating racial injustice. As such, the Structuralist View should be preferred. (shrink)

Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...) these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. While my primary aim is just to put these principles forward, I will use them to evaluate some different approaches to justification and (tentatively) conclude that a ‘normic’ theory of justification best captures its logic. (shrink)

This article focuses on two developments in nineteenth-century (philosophy of) social science: Moritz Lazarus’s and Heymann Steinthal’s Völkerpsychologie and Georg Simmel’s early sociology of knowledge. The article defends the following theses. First, Lazarus and Steinthal wavered between a “strong” and a “weak” program for Völkerpsychologie. Ingredients for the strong program included methodological neutrality and symmetry; causal explanation of beliefs based on causal laws; a focus on groups, interests, tradition, culture, or materiality; determinism; and a self-referential model of social institutions. Second, (...) elements of the weak program were the blurring of explanatory and normative interests, an emphasis on freedom of the will, and antirelativism and antimaterialism. Third, later research projects keeping the label “Völkerpsychologie” followed the weak program. Fourth, in the 1880s and 1890s, Simmel tried to build on some of the elements of the strong program. Finally, and fifth, part of the explanation for why Simmel did not succeed in his attempt had to do with the social-political situation of German academia around 1900. (shrink)

One of the most intriguing claims in Sven Rosenkranz’s Justification as Ignorance is that Timothy Williamson’s celebrated anti-luminosity argument can be resisted when it comes to the condition ~K~KP—the condition that one is in no position to know that one is in no position to know P. In this paper, I critically assess this claim.

The starting point of this paper is the thought that the phenomenal appearances that accompany mental states are somehow only there, or only real, from the standpoint of the subject of those mental states. The world differs across subjects in terms of which appearances obtain. Not only are subjects standpoints across which the world varies, subjects are standpoints that we can ‘adopt’ in our own theorizing about the world (or stand back from). The picture that is suggested by these claims (...) has an appeal but is at the same time obscure and stands in need of regimentation. This paper explores and motivates a metaphysical account of what it is for subjects to be standpoints, what it is to adopt standpoints in our representations and, most importantly, how these notions might help us better understand the subjective character of conscious mental states. Some well-known observations by Thomas Nagel serve as starting points and the paper concludes by revisiting Nagel’s argument for the inevitable incompleteness of objective accounts of mental states, which will be reframed in terms of the central commitments of the proposed framework. (shrink)

Recent years have seen an explosion of interest in metaphysical explanation, and philosophers have fixed on the notion of ground as the conceptual tool with which such explanation should be investigated. I will argue that this focus on ground is myopic and that some metaphysical explanations that involve the essences of things cannot be understood in terms of ground. Such ‘essentialist’ explanation is of interest, not only for its ubiquity in philosophy, but for its being in a sense an ultimate (...) form of explanation. I give an account of the sense in which such explanation is ultimate and support it by defending what I call the inessentiality of essence. I close by suggesting that this principle is the key to understanding why essentialist explanations can seem so satisfying. (shrink)

Is it right to convict a person of a crime on the basis of purely statistical evidence? Many who have considered this question agree that it is not, posing a direct challenge to legal probabilism – the claim that the criminal standard of proof should be understood in terms of a high probability threshold. Some defenders of legal probabilism have, however, held their ground: Schoeman (1987) argues that there are no clear epistemic or moral problems with convictions based on purely (...) statistical evidence, and speculates that our aversion to such convictions may be nothing more than an irrational bias. More recently, Hedden and Colyvan (2019, section VI) describe our reluctance to convict on the basis of purely statistical evidence as an ‘intuition’, but suggest that there may be no ‘in principle’ problem with such convictions (see also Papineau, forthcoming, section 6). In this paper, I argue that there is, in some cases, an in principle problem with a conviction based upon statistical evidence alone – namely, it commits us to a precedent which, if consistently followed through, could lead to the deliberate conviction of an innocent person. I conclude with some reflections on the idea that the criminal justice system should strive to maximise the accuracy of its verdicts – and the related idea that we should each strive to maximise the accuracy of our beliefs. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

A ‘lottery belief’ is a belief that a particular ticket has lost a large, fair lottery, based on nothing more than the odds against it winning. The lottery paradox brings out a tension between the idea that lottery beliefs are justified and the idea that that one can always justifiably believe the deductive consequences of things that one justifiably believes – what is sometimes called the principle of closure. Many philosophers have treated the lottery paradox as an argument against the (...) second idea – but I make a case here that it is the first idea that should be given up. As I shall show, there are a number of independent arguments for denying that lottery beliefs are justified. (shrink)

This essay is dedicated to the memory of Katherine Hawley.1Bitcoin was invented to serve as a digital currency that demands no trust in financial institutions, such as commercial and central banks. This paper discusses metaphysical aspects of bitcoin, in particular the view that bitcoin is socially constructed, non-concrete, and genuinely exists. If bitcoin is socially constructed, then one may worry that this reintroduces trust in the communities responsible for the social construction. Although we may have to rely on certain communities, (...) I argue that social construction doesn’t imply a demand for trust because the relevant communities don’t take on any relevant commitments. Bitcoin is indeed trust-free. (shrink)

Fragmentalism was first introduced by Kit Fine in his ‘Tense and Reality’. According to fragmentalism, reality is an inherently perspectival place that exhibits a fragmented structure. The current paper defends the fragmentalist interpretation of the special theory of relativity, which Fine briefly considers in his paper. The fragmentalist interpretation makes room for genuine facts regarding absolute simultaneity, duration and length. One might worry that positing such variant properties is a turn for the worse in terms of theoretical virtues because such (...) properties are not involved in physical explanations and hence theoretically redundant. It will be argued that this is not right: if variant properties are indeed instantiated, they will also be involved in straightforward physical explanations and hence not explanatorily redundant. Hofweber and Lange, in their ‘Fine’s Fragmentalist Interpretation of Special Relativity’, object that the fragmentalist interpretation is in tension with the right explanation of the Lorentz transformations. It will be argued that their objection targets an inessential aspect of the fragmentalist framework and fails to raise any serious problem for the fragmentalist interpretation of special relativity. (shrink)

In this paper I respond to Marcello Di Bello’s criticisms of the ‘normic account’ of the criminal standard of proof. In so doing, I further elaborate on what the normic account predicts about certain significant legal categories of evidence, including DNA and fingerprint evidence and eyewitness identifications.

Relativism can be found in all philosophical traditions and subfields of philosophy. It is also a central idea in the social sciences, the humanities, religion and politics. This is the first volume to map relativistic motifs in all areas of philosophy, synchronically and diachronically. It thereby provides essential intellectual tools for thinking about contemporary issues like cultural diversity, the plurality of the sciences, or the scope of moral values. The Routledge Handbook of Philosophy of Relativism is an outstanding major reference (...) source on this fundamental topic. The 57 chapters by a team of international contributors are divided into nine parts: Relativism in non-Western philosophical traditions Relativism in Western philosophical traditions Relativism in ethics Relativism in political and legal philosophy Relativism in epistemology Relativism in metaphysics Relativism in philosophy of science Relativism in philosophy of language and mind Relativism in other areas of philosophy. Essential reading for students and researchers in all branches of philosophy, this handbook will also be of interest to those in related subjects such as politics, religion, sociology, cultural studies and literature. (shrink)

I develop a puzzle, the resolution of which, I argue, requires an unfamiliar distinction between two forms or senses of metaphysical modality, each bearing a different relationship to time. In one sense of ‘metaphysically possible’, it is metaphysically possible for it to be a time other than the time it is now; in another sense, this is not metaphysically possible.

We make choices about our own appearance and evaluate others' choices – every day. These choices are meaningful for us as individuals and as members of communities. But many features of personal appearance are due to luck, and many cultural beauty standards make some groups and individuals worse off (this is called “lookism”). So, how are we to square these two facets of personal appearance? And how are we to evaluate agency in the context of personal beauty? I identify three (...) ways of responding to these questions: beauty advo- cacy, beauty skepticism, and beauty revisionism. Advocates connect an honorific sense of beauty with personal charac- ter. Skeptics focus on beauty standards, and primarily offer a social critique of beauty standards. Some skeptics suggest embracing other aesthetic ideals – even ugliness. Revision- ists critique beauty standards, but retain an honorific sense of beauty. Each position offers tools to evaluate personal agency as aesthetic agency, whether first-personally or through our appreciation of others' appearance. (shrink)

Companies committed to corporate social responsibility should ensure that their managers possess the appropriate competencies to effectively manage the CSR adaptation process. The literature provides insights into the individual competencies these managers need but fails to prioritize them and adequately contextualize them in a manner that makes them meaningful in practice. In this study, we contextualized the competencies within the different job roles CSR managers have in the CSR adaptation process. We interviewed 28 CSR managers, followed by a survey to (...) explore the relative importance of the competencies within each job role. Based on our analysis, we identified six distinct managerial roles, including strategic, coordinating, and stimulating roles. Next, we identified per role key individual CSR-related competencies as prioritized by the respondents. Our results show that the context, as indicated in this study by CSR managers’ job roles, indeed influenced the importance of particular CSR-related competencies, because each role seems to require a different combination and prioritization of these competencies. Moreover, the results suggest that the relative importance of these competencies within each role may be driven by business logic rather than an idealistic logic. The results are presented as a competence profile which can serve as a reflection tool and as a frame of reference to further develop the competence profile for CSR managers. (shrink)

In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaśkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paraconsistent logic. Jaśkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their original philosophical justification, have attracted discrete attention (...) among experts. Indeed, in what follows, after having introduced Jaśkowski methodology of building D2 and his main philosophical motivations for providing such a system, we will explore some of the main contributions to the development of D2. (shrink)

The standard of proof applied in civil trials is the preponderance of evidence, often said to be met when a proposition is shown to be more than 50% likely to be true. A number of theorists have argued that this 50%+ standard is too weak – there are circumstances in which a court should find that the defendant is not liable, even though the evidence presented makes it more than 50% likely that the plaintiff’s claim is true. In this paper, (...) I will recapitulate the familiar arguments for this thesis, before defending a more radical one: The 50%+ standard is also too strong – there are circumstances in which a court should find that a defendant is liable, even though the evidence presented makes it less than 50% likely that the plaintiff’s claim is true. I will argue that the latter thesis follows naturally from the former once we accept that the parties in a civil trial are to be treated equally. I will conclude by sketching an alternative interpretation of the civil standard of proof. (shrink)